The SynchAADL2Maude Tool
نویسندگان
چکیده
SynchAADL2Maude is an Eclipse plug-in that uses RealTime Maude to simulate and model check Synchronous AADL models. Synchronous AADL is a variant of the industrial modeling standard AADL that supports the modeling of synchronous embedded systems. In particular, Synchronous AADL can be used to define in AADL the synchronous models in the PALS methodology, in which the very hard tasks of modeling and verifying an asynchronous distributed real-time system that should be virtually synchronous can be reduced to the much simpler tasks of modeling and verifying the underlying synchronous design.
منابع مشابه
Effect of Tool Shoulder and Pin Cone Angles in Friction Stir Welding using Non-circular Tool Pin
In friction stir welding frictional heat is generated by the rotating tool, sliding over the stationary plate along the weld centre. Tool being the only source of heat producing member, its geometrical design influences the heat generation rate. In this present work, effects of variation in tool shoulder and tool pin taper angles on thermal history during joining are analysed. Tools with triang...
متن کاملModeling of heat generations for different tool profiles in friction stir welding: study of tool geometry and contact conditions
In this work, improved heat generation models are developed for straight and tapered shoulder geometries with different tool pin profiles in friction stir welding. The models are developed considering the welding process as a combination of the pure sliding and the pure sticking conditions. From the results, the amount of heat generation is directly proportional to the number of edges in the pi...
متن کاملMachinability Improvement of 17-4PH Stainless Steel by Cryogenic Cooling
17-4PH stainless steel is a martensitic precipitation hardening stainless steel that provides an outstanding combination of high strength, good corrosion resistance, good mechanical properties, good toughness in both base metal and welds, and short time, low-temperature heat treatments that minimize warpage and scaling. This valuable alloy is widely used in the aerospace, nuclear, chemical, pet...
متن کاملDesign, Manufacturing and Surface quality Analysis of Machining by Self-Rotary Milling Tool
One of the disadvantages of conventional milling tools is to produce a large amount of heat in cutting zone and so making the tool warmer. As a result, the tool would be worn and its life time would be reduced. Therefore, in long time machining, it is essential to change inserts and tools, continiously. A milling tool with self rotary cutting inserts was designed and manufactured that enables i...
متن کاملDesign and manufacture a novel tool in the incremental sheet metal forming process and its effects on the process parameters
One of the methods for making prototypes is incremental forming process. In this method, the forming tool, performs a pre-programmed movement by the CNC machine and runs the desired path. This modernization process is used in the automotive, aerospace, military, medical and other industries. One of the most influential parameters in this process is forming tool. This parameter is effective in f...
متن کامل